#include "stm32f4xx_gpio.h"
#include "stm32f4xx_rcc.h"

void KeyInit(void)
{
    GPIO_InitTypeDef gpioInitStruct;

    RCC_AHB1PeriphClockCmd(RCC_AHB1ENR_GPIOFEN, ENABLE);
    gpioInitStruct.GPIO_Mode = GPIO_Mode_IN;
    gpioInitStruct.GPIO_PuPd = GPIO_PuPd_UP;
    gpioInitStruct.GPIO_Pin = GPIO_Pin_13 | GPIO_Pin_14 | GPIO_Pin_15;
    GPIO_Init(GPIOF, &gpioInitStruct);
}
